var a01945 =
[
    [ "pstat", "a01945.html#aa32be9a0c762adc4bf101936c2849fd2", null ],
    [ "wnd", "a01945.html#a6abe98f8d8bcc1c1b1a49c0c9a15e56d", null ]
];